Some Experimental Results by Micro-Tension Tester

Term Rewriting: Some Experimental Results

We discuss tenn rewriting in conjunction with sprfn, a Prolog-based theorem prover. Two techniques for theorem proving that utilize tenn rewriting are presented. We demonstrate their effectiveness by exhibiting the results of our experiments in proving some theorems of von Neumann-Bemays-Godel set theory. Some outstanding problems associated with tenn rewriting are also addressed.

Comparision of Perforation Theories and Some Experimental Results

In this paper it is shown that the variety of mathematical models proposed, such as Nishiwaki [1], Recht and Ipson [2], Lambert and Jonas [3], Awerbuch and Bodrer [4], Nixdorf [5] and the modified analysis given by the author in earlier papers [6,7] almost all adhere to one basic form This shows clearly the relationship between the striking velocity WI, the residual velocity Wf, and the ballist...

Some Experimental Results on the Frobenius Problem

Some Experimental Results on Dynamic Subgoal Reordering

In this paper, we report our investigations into the effect of dynamic subgoal reordering on the performance of a natural deduction theorem prover, based on some simple syntactic characteristics of the subgoals such as size, number of variables, function symbols and predicate symbols. It is shown that these simple characteristics, when used as heuristics for reordering subgoals, have a consider...

Vagueness, Logic and Use: Some Experimental Results

Although the use of experimental data is a somewhat new methodology for philosophers, research on vagueness is poised to make excellent gains from the approach. This is because any theory that purports to explain the vagueness of natural language can benefit from data about how ordinary speakers use vague words. Nonetheless, we must carefully consider the kind of evidence that we're interested ...